/*
 * AtomicProposition.h
 *
 *  Created on: Apr 30, 2012
 *      Author: kobe
 */

#ifndef ATOMICPROPOSITION_H_
#define ATOMICPROPOSITION_H_

#include "Proposition.h"
#include "Util.h"
#include <string>
#include <iostream>

class AtomicProposition: public Proposition {
public:
	AtomicProposition(std::string);
	virtual ~AtomicProposition();
	std::string getDisplayName();
	std::string toString();
	bool compare(Proposition*);
	std::string toLatex();
	bool isAction();

private:
	std::string mDisplayName;
};

#endif /* ATOMICPROPOSITION_H_ */
